Fail-Aware Untrusted Storage§ Christian Cachin∗ Idit Keidar† Alexander Shraer‡

Source URL: webee.technion.ac.il

• Computing
• Computer architecture
• Transaction processing
• Concurrency control
• Linearizability
• Client
• Permutation
• Internet Relay Chat
• Transmission Control Protocol
• Sequential consistency
• Model theory

Online Learning of Nonparametric Mixture Models via Sequential Variational Approximation Dahua Lin Toyota Technological Institute at Chicago

Source URL: dahua.me

• Statistics
• Statistical theory
• Probability
• Bayesian statistics
• Stochastic processes
• Probability distributions
• Estimation theory
• Statistical natural language processing
• Dirichlet process
• Mixture model
• Variational Bayesian methods
• Dirichlet distribution

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel

Source URL: spcl.inf.ethz.ch

• Computing
• Computer architecture
• Software engineering
• Computer memory
• Transaction processing
• Concurrency
• Compiler construction
• Linearizability
• Memory ordering
• Consistency model
• Cache coherence
• Sequential consistency

Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance

Source URL: spcl.inf.ethz.ch

• Computer memory
• Transaction processing
• Parallel computing
• Compiler construction
• Concurrency
• Cache coherence
• Memory ordering
• Consistency model
• Linearizability
• Sequential consistency
• CPU cache
• Processor consistency

Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance

Source URL: spcl.inf.ethz.ch

• Computer memory
• Transaction processing
• Computer architecture
• Concurrency control
• Compiler construction
• Memory ordering
• Consistency model
• Cache coherence
• Memory barrier
• Linearizability
• Schedule
• Sequential consistency

The Viterbi Algorithm 1 The Viterbi Algorithm. M. S. Ryan* and G. R. Nudd.

Source URL: twiki.di.uniroma1.it

• Error detection and correction
• Markov models
• Convolutional code
• Viterbi algorithm
• Sequential decoding
• Finite-state machine
• Hidden Markov model
• BaumWelch algorithm
• State diagram
• Trellis
• Viterbi decoder

A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem Ulrich Kohlenbach July 27, 2011

Source URL: www.mathematik.tu-darmstadt.de

• Operator theory
• Linear algebra
• Compactness theorem
• Model theory
• Arithmetic function
• Hilbert space
• Harmonic analysis

Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/

Source URL: se.inf.ethz.ch

• Computing
• Parallel computing
• Computer programming
• Software engineering
• SCOOP
• File locking
• Communicating sequential processes

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: www.cs.rhul.ac.uk

Modeling sequential data using higher-order relational features and predictive training Vincent Michalski Goethe-University Frankfurt, Frankfurt, Germany

Source URL: arxiv.org

• Applied mathematics
• Artificial neural networks
• Machine learning
• Statistics
• Probability and statistics
• Computational neuroscience
• Regression analysis
• Computational statistics
• Deep learning
• Autoregressive model
• Recurrent neural network
• Overfitting